1. Can mathematics be proved consistent? :
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: G?del's theorem ;
2. Creating modern probability :
پدیدآورنده: Jan von Plato.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Probabilities-- History.
رده :
QA273
.
V66
1994eb
3. Creating modern probability :
پدیدآورنده: Jan von Plato.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Probabilities-- History.
رده :
QA273
.
V66
1994eb
4. Creating modern probability : its mathematics, physics, and philosophy in historical perspective
پدیدآورنده: Von Plato, Jan
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: History ، Probabilities
رده :
QA
273
.
V66C7
5. Elements of Logical Reasoning
پدیدآورنده: / Jan von Plato
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Logic, Symbolic and mathematical,Reasoning,MATHEMATICS -- Logic., bisacsh,منطق ریاضی,استدلال,ریاضیات -- منطق
رده :
QA9
.
V66
2013
6. Elements of logical reasoning /
پدیدآورنده: Jan von Plato
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Logic, Symbolic and mathematical,Reasoning
رده :
QA9
.
V66
2013
7. Proof analysis :
پدیدآورنده: Sara Negri, Jan von Plato
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Proof theory
رده :
QA9
.
54
.
N438
2011
8. Proof analysis
پدیدآورنده: / Sara Negri, Jan von Plato
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Proof theory
رده :
E-BOOK
9. Saved from the Cellar
پدیدآورنده: \ Jan von Plato
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع:
رده :
E-Book
,
10. Structural proof theory
پدیدآورنده: Negri, Sara
کتابخانه: کتابخانه مرکزي و مرکز اسناد دانشگاه سمنان (سمنان)
موضوع: ، Proof theory
رده :
QA
9
.
54
.
N44
2001
11. Structural proof theory
پدیدآورنده: Negri, Sara, 7691-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Proof theory
رده :
QA
9
.
54
.
N44
12. Structural proof theory
پدیدآورنده: Negri, Sara, 7691-
کتابخانه: كتابخانه تخصصی لاتين پژوهشگاه علوم و فرهنگ اسلامی (دفتر تبليغات اسلامی حوزه علمیه قم) (قم)
موضوع: ، Proof theory
رده :
QA
9
.
54
.
N4S78
13. Structural proof theory
پدیدآورنده: Negri, Sara, Sara Negri, Jan von Plato ; with an appendix by Aarne Ranta
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع: ، Proof theory
رده :
QA
9
.
54
.
N4S8
14. Structural proof theory
پدیدآورنده: Negri, Sara
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Proof theory
رده :
QA
9
.
54
.
N44
2001
15. The development of modern logic
پدیدآورنده: edited by Leila Haaparanta
کتابخانه: كتابخانه دانشگاه مفيد (قم)
موضوع: History ، Logic
رده :
BC15
.
D48
2009
